- кумулятивная запись
- Psychology: cumulative record
Универсальный русско-английский словарь. Академик.ру. 2011.
кумулятивная запись
Смотреть что такое "кумулятивная запись" в других словарях:
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
